This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Lee masThis volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Lee masThis book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, ...
Lee masThis book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, ...
Lee masThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Lee masThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Lee masThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Lee masThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Lee masThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Lee masThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lee masThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lee masThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee masThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Lee masThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Lee masThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lee masThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lee mas